TRANSACTION ON KNOWLEDGE AND DATA ENGINEERING 1 Coherence Approach to Logic Program
نویسندگان
چکیده
| We present a new approach to the problem of revising extended programs, based on the coherence theory initially advocated by Gardenfors for belief revision. Our approach resolves contradiction by removing only connict-ing information, not the believed source of it, and therefore , keeps information loss minimal. Furthermore, since there is no need of searching for problematic assumptions, as is done in the traditional assumption-removal approach, our approach provides a skeptical revision semantics that is tractable. We deene the skeptical and credulous coherence semantics and show that both semantics can be characterized in terms of the xpoint semantics of a revised program using a simple program revision technique. These semantics provide a suitable framework for knowledge and belief revision in the context of logic programs. Semantical properties and advantages of the proposed revision semantics are also analyzed.
منابع مشابه
Coherence Approach to Logic Program Revision
We present a new approach to the problem of revising extended programs, based on the coherence theory initially advocated by Gardenfors for belief revision. Our approach resolves contradiction by removing only connicting information , not the believed source of it, and therefore, keeps information loss minimal. Furthermore, since there is no need of searching for problematic assumptions, as is ...
متن کاملA comparison between knowledge-driven fuzzy and data-driven artificial neural network approaches for prospecting porphyry Cu mineralization; a case study of Shahr-e-Babak area, Kerman Province, SE Iran
The study area, located in the southern section of the Central Iranian volcano–sedimentary complex, contains a large number of mineral deposits and occurrences which is currently facing a shortage of resources. Therefore, the prospecting potential areas in the deeper and peripheral spaces has become a high priority in this region. Different direct and indirect methods try to predict promising a...
متن کاملDatabase Programming in Transaction Logic
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete proof theory, but, unlike many other logics, it allows users to program transactions. In addition...
متن کاملStock Market Fraud Detection, A Probabilistic Approach
In order to have a fair market condition, it is crucial that regulators continuously monitor the stock market for possible fraud and market manipulation. There are many types of fraudulent activities defined in this context. In our paper we will be focusing on "front running". According to Association of Certified Fraud Examiners, front running is a form of insider information and thus is very ...
متن کاملA Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
ÐDuring the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex a...
متن کامل